The universal separable metric space of Urysohn and isometric embeddings thereof in Banach spaces
نویسندگان
چکیده
This paper is an investigation of the universal separable metric space up to isometry U discovered by Urysohn. A concrete construction of U as a metric subspace of the space C[0, 1] of functions from [0, 1] to the reals with the supremum metric is given. An answer is given to a question of Sierpiński on isometric embeddings of U in C[0, 1]. It is shown that the closed linear span of an isometric copy of U in a Banach space which contains the zero of the Banach space is determined up to linear isometry. The question of what Banach spaces can be embedded in a linear isometric fashion in this uniquely determined closed linear span of U is investigated. 0. Introduction. A well-known result of elementary topology is the fact that certain topological spaces, such as the Hilbert cube, are “universal separable metric spaces”—such a space is a separable metric space which contains a homeomorph of each separable metric space. A less well-known result of metric topology is that there are universal separable metric spaces up to isometry ; that is, there are separable metric spaces which contain an isometric copy of each separable metric space. The best-known theorem establishing the existence of a universal separable metric space up to isometry is the theorem of Banach and Mazur which asserts that C[0, 1], the space of continuous functions from [0, 1] to the reals with the supremum metric, is such a space (see [B], [B-P]; Banach and Mazur actually show that C[0, 1] is a universal separable Banach space up to linear isometry; we cite this result as Theorem 4 of Part III). But the first result of this kind was obtained by Urysohn (see [U]), who constructed a metric space U of this kind which he proved can be characterized up to isometry by the fact that it is a universal separable metric space up to isometry which is complete and “metrically homogeneous with respect to finite sets”. The definition of this property is given below. Urysohn’s construction of U is highly abstract. We are able to present a more concrete construction of U inside C[0, 1] (in the proof of Theorem 1 of
منابع مشابه
Isometric Embeddings and Universal Spaces
We show that if a separable Banach space Z contains isometric copies of every strictly convex separable Banach space, then Z actually contains an isometric copy of every separable Banach space. We prove that if Y is any separable Banach space of dimension at least 2, then the collection of separable Banach spaces which contain an isometric copy of Y is analytic non Borel.
متن کاملLinearly rigid metric spaces and the embedding problem
We consider the problem of isometric embedding of metric spaces into Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space...
متن کاملConstructive Urysohn Universal Metric Space
We construct the Urysohn metric space in constructive setting without choice principles. The Urysohn space is a complete separable metric space which contains an isometric copy of every separable metric space, and any isometric embedding into it from a finite subspace of a separable metric space extends to the whole domain.
متن کاملThe Urysohn Universal Space and Hyperconvexity
In a paper published posthumously, Pavel Samuilovich Urysohn constructed a complete, separable metric space that contains an isometric copy of every complete separable metric space. In this paper we prove that the Urysohn univeral space is hyperconvex.
متن کاملA theorem of Hrushovski–Solecki–Vershik applied to uniform and coarse embeddings of the Urysohn metric space
A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph R, the universal Urysohn metric space U, and other related objects. We propose a new proof of the result and show how it can be used to average out uniform and coarse embeddings of U (and its v...
متن کامل